- лемма о проекции
- projection lemma мат.
Русско-английский научно-технический словарь Масловского. 2015.
лемма о проекции
Look at other dictionaries:
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
ПЕРЕСЕЧЕНИЙ ТЕОРИЯ — на алгебраическом многообразии теория пересечений алгебраич. подмногообразий и циклов. Пусть X гладкое алгебраич. многообразие размерности пнад полем k, a Yи Z подмногообразия Xкоразмерности i и j соответственно. Если Yи Zпересекаются транс… … Математическая энциклопедия
СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО — (прежние названия полусимплициальный комплекс, полный полусимплициальный комплекс) симплициальный объект категории множеств Ens, т. е. система множеств (n х слоев) , связанных отображениями , (операторами граней), и si: К п Kn+1, (операторами… … Математическая энциклопедия
Ряд Фурье — Добавление членов ряда Фурье … Википедия
Ньютон, Исаак — У этого термина существуют и другие значения, см. Ньютон. Исаак Ньютон Isaac Newton … Википедия
